window.onload=()=>{
    let myDiv = document.getElementById('div1'); //getElementById返回对象：HTMLElement 或者 null
    //断言处理
    // (myDiv as HTMLElement ).style.color = 'red'

    // if处理：
    if(myDiv instanceof HTMLElement){
        myDiv.style.color = 'blue'
    }
}